Feasible(M)
== xdom(M.1). T=M.1(x)   T & kdom((M.2).1). T=(M.2).1(k)   Dec(T)
== & ma-prob-da(M)
== & ma-frame-compat(M;M) 

latex

---

clarification:

ma-feasible{i:l}
ma-feasible(M)
== IdIdDeqxdom(M.1). T=M.1(x)   T & KndKindDeqkdom((M.2).1). T=(M.2).1(k)   Dec(T)
== & ma-prob-da(M)
== & ma-frame-compat(M;M) 

latex

Definitions	Id, IdDeq, xdom(f). v=f(x)   P(x;v), Knd, KindDeq, t.1, t.2, Dec(P), P & Q, ma-prob-da(M), ma-frame-compat(A;B)
FDL editor aliases	ma-feasible